
void configureIDT();

